#include "cmsis_os.h"

uint32_t ____tick____ = 0;
void xPortSysTickHandler(void);

// void osSystickHandler(void)
// {
//     ____tick____++;
// // #if (INCLUDE_xTaskGetSchedulerState == 1)
// //     if (xTaskGetSchedulerState() != taskSCHEDULER_NOT_STARTED) {
// // #endif /* INCLUDE_xTaskGetSchedulerState */
//         xPortSysTickHandler();
// // #if (INCLUDE_xTaskGetSchedulerState == 1)
// //     }
// // #endif /* INCLUDE_xTaskGetSchedulerState */
// }
